منابع مشابه
On Existing All at Once
e nature of divine eternality is obscure in both historical andmodern discussions. In a way its obscurity is no surprise, given that the nature of time is so mysterious. But the obscurity is still notable relative to the other traditional divine attributes, which are comparatively much better understood. Our perplexities regarding eternality are compounded, I will argue here, by a failure to re...
متن کاملAll the GIT quotients at once
Let G be an algebraic torus acting on a smooth variety V . We study the relationship between the various GIT quotients of V and the symplectic quotient of the cotangent bundle of V . Let G be a reductive algebraic group acting on a smooth variety V . The cotangent bundle T V admits a canonical algebraic symplectic structure, and the induced action of G on T V is hamiltonian, that is, it admits ...
متن کاملSeeing It All at Once with Barry
Improving data visualization paradigms for performance management is an orphaned area of tool development. Tool vendors avoid investing in development if they see no demand, while capacity planners and performance analysts do not demand what they have not conceived. We attempt to cut this Gordian knot with ’Barry’; a 3D performance visualization suite based on barycentric coordinates. Potential...
متن کاملOnce and For All
It has long been known that past-time operators add no expressive power to linear temporal logics. In this paper, we consider the extension of branching temporal logics with past-time operators. Two possible views regarding the nature of past in a branching-time model induce two different such extensions. In the first view, past is branching and each moment in time may have several possible fut...
متن کاملAll-at-once preconditioning in PDE-constrained optimization
The optimization of functions subject to partial differential equations (PDE) plays an important role in many areas of science and industry. In this paper we introduce the basic concepts of PDE-constrained optimization and show how the all-at-once approach will lead to linear systems in saddle point form. We will discuss implementation details and different boundary conditions. We then show how...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: JACC: Cardiovascular Interventions
سال: 2014
ISSN: 1936-8798
DOI: 10.1016/j.jcin.2014.04.021